gtk-builder-tool: Avoid a crash with <placeholder/>

Not sure we can do much with a ui file that has
<placeholder/> elements littered throughout. But
at least we can avoid crashing while trying to
convert it.

Fixes: #3781

diff --git a/tools/gtk-builder-tool-simplify.c b/tools/gtk-builder-tool-simplify.c
index 990377bd212d4288489734f4c7fbcb22e504c83e..22e41a34d78c93fe0762ac2f9612d2cc882762c9 100644 (file)
--- a/tools/gtk-builder-tool-simplify.c
+++ b/tools/gtk-builder-tool-simplify.c
@@ -944,6 +944,8 @@ rewrite_notebook_page (Element *child, Element *tab, MyParserData *data)
         object = elt;
       else if (g_str_equal (elt->element_name, "packing"))
         packing = elt;
+      else if (g_str_equal (elt->element_name, "placeholder"))
+        return child;
     }
 
   if (!packing && !tab)